Compositional programming abstractions for mobile computing
نویسندگان
چکیده
منابع مشابه
Compositional Programming Abstractions for Mobile Computing
Recent advances in wireless networking technology and the increasing demand for ubiquitous, mobile connectivity demonstrate the importance of providing reliable systems for managing reconfiguration and disconnection of components. Design of such systems requires tools and techniques appropriate to the task. Many formal models of computation, including UNITY, are not adequate for expressing reco...
متن کاملSystem-Level Programming Abstractions for Ubiquitous Computing
The promise of ubiquitous computing is predicated on the ability of programmers to develop applications that will be able to work properly in constantly changing situations. Functions that interact with users and infrastructure must be maintained at tolerable levels even if devices and users are roaming, users switch devices or engage new ones, and the network provides only limited services. In...
متن کاملEvent Delivery Abstractions for Mobile Computing
An application intended for a mobile computing environment is different from more traditional ones in that it is more event driven. The reason is that mobile computing is associated with constraints, both in terms of mobile host hardware and the network environment. The effect of these constraints is complicated by the fact that the environment in which a mobile host operates changes as it move...
متن کاملCompositional Abstractions for Search Factories
Search is essential for constraint programming. Search engines typically combine several features like state restoration for backtracking, best solution search, parallelism, or visualization. In current implementations like Mozart, however, these search engines are monolithic and hard-wired to one exploration strategy, severely complicating the implementation of new exploration strategies and p...
متن کاملCompositional Abstractions for Interacting Processes
A promising way of dealing with complex behaviours of networks of communicating processes is to use abstractions. In our previous work, interface abstraction, modelled through a suitable relation, allowed us to ‘interpret’ the behaviour of an implementation process as that of a specification process, even in the event that their interfaces differ. The proposed relation is compositional, in the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 1998
ISSN: 0098-5589
DOI: 10.1109/32.666824